package test3.GUI;

import javax.swing.text.DefaultStyledDocument;

/**
 * Created by Claudiu-Florin FILIMON
 * Date: Aug 2, 2007
 * Time: 5:51:31 PM
 * Revision: 0
 */
public class HighlightedDocument extends DefaultStyledDocument
{
}
